-
PLS (סיבוכיות)
כל מה שרצית לדעת על PLS (סיבוכיות):בתורת הסיבוכיות, מחלקת הסיבוכיות (PLS (Polynomial Local Search היא תת-מחלקה סינטקטית של מחלקת הסיבוכיות TFNP. המחלקה הוגדרה על ידי כריסטוס פפדימטריו ב-1988 והבעיות הכלולות בה הן בעיות מקסימיזציה או מינימיזציה אשר מובטח כי יש להן פתרון. כשמה, מתארת המחלקה PLS בעיות חיפוש אשר בהינתן קלט, מוגדרת לו קבוצה של…
-
BPP (מחלקת סיבוכיות)
כל מה שרצית לדעת על BPP (מחלקת סיבוכיות):BPP (ראשי תיבות: Bounded-Error, Probabilistic, Polynomial Time) היא מחלקת הבעיות הפתירות על ידי אלגוריתם אקראי בעל זמן ריצה פולינומי, אשר צודק בהסתברות "טובה". (כלומר, ההסתברות (על פני המטבעות שמטיל האלגוריתם) שהאלגוריתם עונה את התשובה הנכונה היא לפחות 2 / 3 {\displaystyle \ 2/3} ).מקובל לראות בבעיות הנמצאות…
-
P (מחלקת סיבוכיות)
כל מה שרצית לדעת על P (מחלקת סיבוכיות):בתורת הסיבוכיות, P היא מחלקת סיבוכיות המכילה את כל בעיות ההכרעה אשר ניתנות לפתרון באופן יעיל, דהיינו בזמן ריצה פולינומי.ידוע כי P מכילה בעיות נפוצות רבות. למשל, הבעיה של תכנון ליניארי, חישוב מחלק משותף מקסימלי של שני מספרים טבעיים, חישוב עץ פורש מינימלי ומציאת שידוך מקסימום בגרף. בשנת…
-
NP (מחלקת סיבוכיות)
כל מה שרצית לדעת על NP (מחלקת סיבוכיות):במדעי המחשב, NP היא מחלקת סיבוכיות חשובה של בעיות אלגוריתמיות, שכוללת את הבעיות שבהינתן פתרון מוצע כלשהו לבעיה, קל ("קל" במובן של סיבוכיות זמן ריצה "סביר" של אלגוריתם האימות) לבדוק האם הוא אכן מהווה פתרון. המחלקה NP כוללת אלפי בעיות הנחקרות במסגרת מדעי המחשב. השאלה האם קל גם…
-
RP
כל מה שרצית לדעת על RP:במדעי המחשב, RP (ראשי תיבות של Randomized Polynomial time) היא מחלקת הסיבוכיות של כל הבעיות הניתנות להכרעה הסתברותית בזמן פולינומי ביחס לגודל הקלט באופן הבא:אם הקלט בשפה, האלגוריתם מקבל בהסתברות של לפחות 1/2.אם הקלט אינו בשפה, האלגוריתם דוחה בהסתברות של 1(כלומר – תמיד).במילים אחרות, האלגוריתם יכול להטיל מטבע בעת ריצתו.…
-
FNP
כל מה שרצית לדעת על FNP:בתורת הסיבוכיות, מחלקת הסיבוכיות FNP היא ההרחבה לבעיית הפונקציה של מחלקת בעיות ההכרעה NP. בעיות רבות ב-NP, ובהן גם מספר רב של בעיות NP-שלמות, שואלות מתי חפץ מסוים קיים, כמו השמה מספקת, צביעת גרף, או מציאת קליקה בגודל מסוים. גרסות ה-FNP עבור בעיות אלה, שואלות לא רק האם קיים פתרון…
-
TFNP
כל מה שרצית לדעת על TFNP:בתורת הסיבוכיות, TFNP (Total Function Nondeterministic Polynomial) היא מחלקת סיבוכיות המהווה תת-מחלקה של מחלקת הסיבוכיות FNP בה מובטח כי קיים פתרון.יחס בינארי P ( x , y ) {\displaystyle \ P(x,y)} הוא ב-TFNP אם ורק אם קיים אלגוריתם דטרמיניסטי בעל זמן ריצה פולינומי היכול לזהות, בהינתן x ו-y האם…
-
EXPTIME
כל מה שרצית לדעת על EXPTIME:בתורת הסיבוכיות, מחלקת הסיבוכיות EXPTIME (נקראת גם EXP או DEXPTIME) היא קבוצת כל בעיות ההכרעה הניתנות לפתרון באמצעות מכונת טיורינג דטרמיניסטית בזמן O ( 2 p ( n ) ) {\displaystyle O(2^{p(n)})} כאשר O {\displaystyle O} הוא סימון אסימפטוטי ו p ( n ) {\displaystyle p(n)} הוא פולינום.ניתן גם להגדיר…
-
מכונת טיורינג לא-דטרמיניסטית
כל מה שרצית לדעת על מכונת טיורינג לא-דטרמיניסטית:כל אלגוריתם ניתן לתיאור על ידי מודל מתמטי מופשט המכונה מכונת טיורינג. בעוד מכונת טיורינג הסטנדרטית היא מכונת מצבים מוגדרת היטב (כלומר, לכל מצב של המכונה ברור באופן מוחלט (דטרמיניסטי) מה יהיה הצעד הבא של המכונה), מכונת טיורינג לא-דטרמיניסטית (Non-deterministic Turing machine, לעיתים מסומנת בקיצור מכונה א"ד) היא…
-
בעיית P=NP
כל מה שרצית לדעת על בעיית P=NP:השאלה האם P=NP היא בעיה פתוחה מרכזית במדעי המחשב, העוסקת ביכולת לפתור אוסף גדול של בעיות בצורה יעילה. במילים פשוטות, השאלה היא האם כל בעיה שניתן לבדוק עבורה בצורה יעילה האם פתרון מוצע הוא נכון, היא גם בעיה שניתן למצוא עבורה פתרון בצורה יעילה. לפתרון הבעיה ישנן השלכות תאורטיות…